($\lambda$$a$,$b$,$z$. $a$ {-}{-} $b$) $\in$ $\mathbb{Z}\rightarrow\mathbb{Z}\rightarrow$($\downarrow$True)$\rightarrow\mathbb{Z}$